Optimal. Leaf size=106 \[ \frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{2 b \sqrt{d} \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{3 c^{3/2}}-\frac{2 b \sqrt{d} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{3 c^{3/2}}+\frac{4 b \sqrt{d x}}{3 c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0612043, antiderivative size = 106, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.375, Rules used = {5916, 321, 329, 212, 208, 205} \[ \frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{2 b \sqrt{d} \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{3 c^{3/2}}-\frac{2 b \sqrt{d} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{3 c^{3/2}}+\frac{4 b \sqrt{d x}}{3 c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5916
Rule 321
Rule 329
Rule 212
Rule 208
Rule 205
Rubi steps
\begin{align*} \int \sqrt{d x} \left (a+b \tanh ^{-1}(c x)\right ) \, dx &=\frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{(2 b c) \int \frac{(d x)^{3/2}}{1-c^2 x^2} \, dx}{3 d}\\ &=\frac{4 b \sqrt{d x}}{3 c}+\frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{(2 b d) \int \frac{1}{\sqrt{d x} \left (1-c^2 x^2\right )} \, dx}{3 c}\\ &=\frac{4 b \sqrt{d x}}{3 c}+\frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{(4 b) \operatorname{Subst}\left (\int \frac{1}{1-\frac{c^2 x^4}{d^2}} \, dx,x,\sqrt{d x}\right )}{3 c}\\ &=\frac{4 b \sqrt{d x}}{3 c}+\frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{(2 b d) \operatorname{Subst}\left (\int \frac{1}{d-c x^2} \, dx,x,\sqrt{d x}\right )}{3 c}-\frac{(2 b d) \operatorname{Subst}\left (\int \frac{1}{d+c x^2} \, dx,x,\sqrt{d x}\right )}{3 c}\\ &=\frac{4 b \sqrt{d x}}{3 c}-\frac{2 b \sqrt{d} \tan ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{3 c^{3/2}}+\frac{2 (d x)^{3/2} \left (a+b \tanh ^{-1}(c x)\right )}{3 d}-\frac{2 b \sqrt{d} \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d x}}{\sqrt{d}}\right )}{3 c^{3/2}}\\ \end{align*}
Mathematica [A] time = 0.0502362, size = 114, normalized size = 1.08 \[ \frac{\sqrt{d x} \left (2 a c^{3/2} x^{3/2}+2 b c^{3/2} x^{3/2} \tanh ^{-1}(c x)+4 b \sqrt{c} \sqrt{x}+b \log \left (1-\sqrt{c} \sqrt{x}\right )-b \log \left (\sqrt{c} \sqrt{x}+1\right )-2 b \tan ^{-1}\left (\sqrt{c} \sqrt{x}\right )\right )}{3 c^{3/2} \sqrt{x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.012, size = 89, normalized size = 0.8 \begin{align*}{\frac{2\,a}{3\,d} \left ( dx \right ) ^{{\frac{3}{2}}}}+{\frac{2\,b{\it Artanh} \left ( cx \right ) }{3\,d} \left ( dx \right ) ^{{\frac{3}{2}}}}+{\frac{4\,b}{3\,c}\sqrt{dx}}-{\frac{2\,db}{3\,c}\arctan \left ({c\sqrt{dx}{\frac{1}{\sqrt{cd}}}} \right ){\frac{1}{\sqrt{cd}}}}-{\frac{2\,db}{3\,c}{\it Artanh} \left ({c\sqrt{dx}{\frac{1}{\sqrt{cd}}}} \right ){\frac{1}{\sqrt{cd}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.22862, size = 509, normalized size = 4.8 \begin{align*} \left [-\frac{2 \, b \sqrt{\frac{d}{c}} \arctan \left (\frac{\sqrt{d x} c \sqrt{\frac{d}{c}}}{d}\right ) - b \sqrt{\frac{d}{c}} \log \left (\frac{c d x - 2 \, \sqrt{d x} c \sqrt{\frac{d}{c}} + d}{c x - 1}\right ) -{\left (b c x \log \left (-\frac{c x + 1}{c x - 1}\right ) + 2 \, a c x + 4 \, b\right )} \sqrt{d x}}{3 \, c}, \frac{2 \, b \sqrt{-\frac{d}{c}} \arctan \left (\frac{\sqrt{d x} c \sqrt{-\frac{d}{c}}}{d}\right ) + b \sqrt{-\frac{d}{c}} \log \left (\frac{c d x - 2 \, \sqrt{d x} c \sqrt{-\frac{d}{c}} - d}{c x + 1}\right ) +{\left (b c x \log \left (-\frac{c x + 1}{c x - 1}\right ) + 2 \, a c x + 4 \, b\right )} \sqrt{d x}}{3 \, c}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 20.0057, size = 586, normalized size = 5.53 \begin{align*} \frac{2 a \left (d x\right )^{\frac{3}{2}}}{3 d} + \frac{2 b \left (\begin{cases} - \frac{i c d^{\frac{7}{2}} \left (\frac{1}{c}\right )^{\frac{3}{2}} \log{\left (- \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} - \frac{c d^{\frac{7}{2}} \left (\frac{1}{c}\right )^{\frac{3}{2}} \log{\left (i \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} + \frac{i c d^{\frac{7}{2}} \left (\frac{1}{c}\right )^{\frac{3}{2}} \log{\left (i \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} + \frac{5 i d^{\frac{7}{2}} \sqrt{\frac{1}{c}} \log{\left (- \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} - \frac{2 d^{\frac{7}{2}} \sqrt{\frac{1}{c}} \log{\left (- i \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} - \frac{2 i d^{\frac{7}{2}} \sqrt{\frac{1}{c}} \log{\left (- i \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} + \frac{3 d^{\frac{7}{2}} \sqrt{\frac{1}{c}} \log{\left (i \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} - \frac{3 i d^{\frac{7}{2}} \sqrt{\frac{1}{c}} \log{\left (i \sqrt{d} \sqrt{\frac{1}{c}} + \sqrt{d x} \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} + \frac{4 i d^{\frac{7}{2}} \sqrt{\frac{1}{c}} \operatorname{atanh}{\left (c x \right )}}{- \frac{3 i c^{3} d^{2}}{c^{2}} + \frac{15 i c^{2} d^{2}}{c}} + \frac{\left (d x\right )^{\frac{3}{2}} \operatorname{atanh}{\left (c x \right )}}{3} + \frac{2 d \sqrt{d x}}{3 c} & \text{for}\: c \neq 0 \\0 & \text{otherwise} \end{cases}\right )}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \sqrt{d x}{\left (b \operatorname{artanh}\left (c x\right ) + a\right )}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]